27.84/30.03	unsat
