13.46/16.04	unsat
