141.87/155.71	unsat
