13.66/13.71	unsat
