13.85/15.95	unsat
