34.15/34.28	unsat
