144.19/145.39	unsat
