13.86/15.65	unsat
