27.25/27.39	unsat
