139.46/229.84	unsat
