21.40/27.39	unsat
