148.56/150.56	unsat
