1018.36/1020.03	unsat
