26.95/28.03	unsat
