147.03/148.96	unsat
