26.94/31.56	unsat
