6.89/7.15	unsat
