6.43/8.15	unsat
