18.05/21.39	unsat
