147.44/148.32	unsat
