27.84/29.33	unsat
