5.77/8.15	unsat
