13.26/16.95	unsat
