142.27/172.09	unsat
