5.77/8.11	unsat
