26.59/27.39	unsat
