29.26/31.56	unsat
