5.81/8.15	unsat
