27.73/30.53	unsat
