148.31/148.66	unsat
