15.87/18.65	unsat
