142.02/148.18	unsat
