2.92/4.15	unsat
