4.77/7.65	unsat
