13.87/14.53	unsat
