26.44/27.56	unsat
