13.85/16.07	unsat
