3.08/3.15	unsat
