12.95/14.53	unsat
