13.64/13.71	unsat
